önermeler cebiri

  1. algebra of propositions